#include <arch/types.h>
#include <kernel/Panic.h>

void ASSERTIONFAILED(const char *file, size_t line, const char *func, const char *cond) {
	panic("ASSERTION FAILED (%s) at %s:%d (function %s)", cond, file, line, func);
}
